theorem proving machine
定理证明机
热门查询
- deluxe adj. 高级的；豪华的，奢华的 adv. 豪华地
- undelivered adj. 未被释放的；未送达的
- deflector n. 导向装置；偏针仪，导流板
- weaving n. 织动，编织 v. 编织，组合（weave的ing形式） n. (Weaving)人名；(英)威文
- yes n. 是（表示肯定） adv. 是, 是的
- vain adj. 徒劳的；自负的；无结果的；无用的
- spindle n. 轴；纺锤，锭子；细长的人或物 adj. 锭子的，锭子似的；细长的 vt. 装锭子于 vi. 长得细长，变细长
- veracious adj. 诚实的；真实的
- theoretic adj. 理论上的；空谈的
- insensitively adj. 特别迟钝的，特别麻木的，特别不敏感的
- hussain n. (Hussain)人名；(阿拉伯)侯赛因
- booking n. 预订；预约；演出契约
- superfluity n. 奢侈品；额外；过剩
- depicted vt. 描述；描画
- fiercely adv. 猛烈地；厉害地
- readout n. 读出；读出器
- firstborn n. 长子；初生儿；长女 adj. 头生的；第一胎生的
- Burman n. 缅甸人[语] adj. 缅甸的，缅甸人[语]的
- plenum n. 全体会议；充满；充满物质的空间
- Gopher n. 囊地鼠（产自北美的一种地鼠）
